A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n

نویسندگان

  • Philippe Balbiani
  • Petar Iliev
  • Dimiter Vakarelov
چکیده

The natural modal logic corresponding to Pawlak’s approximation spaces is S5, based on the box modality [R]A (and the diamond modality 〈R〉A = ¬[R]¬A), where R is the corresponding indiscernibility relation of the approximation space S = (W,R). However the expressive power of S5 is too weak and, for instance, we cannot express that the space S has exactly n equivalence classes ( we say that S is roughly-finite and n is the rough cardinality of S). For this reason we extend the modal logic S5 with a new box modality [S]A, where S is the complement of R i.e. the discernibility relation of W . We propose a complete axiomatization, in this new language, of the logic ROUGHn corresponding to the class of approximation spaces with rough cardinality n. We prove that the satisfiability problem for ROUGHn is NP-complete.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modal Reasoning and Rough Set Theory

In this paper, we would like to present some modal logics with semantics based on rough set theory and related notions. In addition to surveying some well-known results about the links between modal logics and rough set theory, we also develop some new applied logics inspired I)y generalized rough set theory. Kcywor(ls: Rough set, modal logic, cpistcmic logic. 1 I n t r o d u c t i o n Tile rou...

متن کامل

Granular Computing on Extensional Functional Dependencies for Information System

Structure of Rough Approximations Based on Molecular Lattices p. 69 Rough Approximations under Level Fuzzy Sets p. 78 Fuzzy-Rough Modus Ponens and Modus Tollens as a Basis for Approximate Reasoning p. 84 Logic and Rough Sets Rough Truth, Consequence, Consistency and Belief Revision p. 95 A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning p. 103 Fuzzy Reasoning Base...

متن کامل

S-APPROXIMATION SPACES: A FUZZY APPROACH

In this paper, we study the concept of S-approximation spaces in fuzzy set theory and investigate its properties. Along introducing three pairs of lower and upper approximation operators for fuzzy S-approximation spaces, their properties under different assumptions, e.g. monotonicity and weak complement compatibility are studied. By employing two thresholds for minimum acceptance accuracy and m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fundam. Inform.

دوره 83  شماره 

صفحات  -

تاریخ انتشار 2008